退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:重新考虑的反例:原理,算法,应用
Edmund Clarke; Helmut Veith;
机译:个人和集体图挖掘:原理,算法和应用。
机译:计算机视觉:原理,算法,应用程序,学习(第5版)
机译:再探反例:原理,算法,应用
机译:新的变分原理及其在优化理论和算法中的应用
机译:被动免疫一个古老的想法被重新审视:基本原理及其在现代动物生产系统中的应用
机译:分析显式时间行进算法的最大原理及应用
机译:科学或技术问题的演化方法,涉及在应用计算机程序完成的公式生成中应用演化原理时获得用于解决问题的数学公式或算法
机译:在多算法验证框架中构造归纳反例
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。